combinatorial species造句

This leads to the formal definition of a " combinatorial species ".
He discovered Kripke Joyal semantics, the theory of combinatorial species and with M . Tierney a generalization of the Galois theory of Grothendieck in the setup of locales.
Structads are an approach to the semantics of logic that are based upon generalising the notion of sequent along the lines of Joyal's combinatorial species, allowing the treatment of more drastically nonstandard logics than those described above, where, for example, the','of the sequent calculus is not associative.
It's difficult to find combinatorial species in a sentence. 用combinatorial species造句挺难的